7) and (big: 1